Eugene Asarin (auth.): шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (7)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Adrian-Horia Dediu, Carlos Martín-Vide (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 6.72 MB

0 / 0

english, 2012

2

Hybrid Systems II

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Рік:

1995

Мова:

english

Файл:

DJVU, 6.46 MB

0 / 0

english, 1995

3

Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Adrian-Horia Dediu, Carlos Martín-Vide (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 10.11 MB

0 / 0

english, 2012

4

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Thomas A. Henzinger, Shankar Sastry (eds.)

Рік:

1998

Мова:

english

Файл:

DJVU, 4.54 MB

0 / 0

english, 1998

5

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 3.62 MB

0 / 0

english, 2004

6

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Vinayak S. Prabhu (auth.), Eugene Asarin, Patricia Bouyer (eds.)

Рік:

2006

Мова:

english

Файл:

PDF, 5.31 MB

0 / 0

english, 2006

7

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 3.06 MB

0 / 0

english, 2004